Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·2d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
Proving that every program halts
ntietz.com·2d
👑Isabelle
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·6h·
Discuss: DEV
📐Error Bounds
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
The more LLMs think, the worse they translate
nuenki.app·2h·
Discuss: Hacker News
⚙️Compression Benchmarking
Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
arxiv.org·1d
🏗️Constructive Mathematics
Double Maths First Thing: Issue 2A
aperiodical.com·6h
👑Isabelle
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·10h
🌸Bloom Variants
What LLMs Know About Their Users
schneier.com·3h
💻Local LLMs
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·13h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·30m·
Discuss: DEV
📏Code Metrics